The Hyperuniverse Programme, introduced in Arrigoni and Friedman (2013), fosters the search for new set-theoretic axioms. In this paper, we present the procedure envisaged by the programme to find new axioms and the conceptual framework behind it. The procedure comes in several steps. Intrinsically motivated axioms are those statements which are suggested by the standard concept of set, i.e. the `maximal iterative concept', and the programme identi fies higher-order statements motivated by the maximal iterative concept. The satisfaction of these (...) statements (H-axioms) in countable transitive models, the collection of which constitutes the `hyperuniverse' (H), has remarkable 1st-order consequences, some of which we review in section 5. (shrink)

In this paper I apply the concept of _inter-Model Inconsistency in Set Theory_ (MIST), introduced by Carolin Antos (this volume), to select positions in the current universe-multiverse debate in philosophy of set theory: I reinterpret H. Woodin’s _Ultimate L_, J. D. Hamkins’ multiverse, S.-D. Friedman’s hyperuniverse and the algebraic multiverse as normative strategies to deal with the situation of de facto inconsistency toleration in set theory as described by MIST. In particular, my aim is to situate these positions on (...) the spectrum from inconsistency avoidance to inconsistency toleration. By doing so, I connect a debate in philosophy of set theory with a debate in philosophy of science about the role of inconsistencies in the natural sciences. While there are important differences, like the lack of threatening explosive inferences, I show how specific philosophical positions in the philosophy of set theory can be interpreted as reactions to a state of inconsistency similar to analogous reactions studied in the philosophy of science literature. My hope is that this transfer operation from philosophy of science to mathematics sheds a new light on the current discussion in philosophy of set theory; and that it can help to bring philosophy of mathematics and philosophy of science closer together. (shrink)

Yuri Matiyasevich's theorem states that the set of all Diophantine equations which have a solution in non-negative integers is not recursive. Craig Smoryński's theorem states that the set of all Diophantine equations which have at most finitely many solutions in non-negative integers is not recursively enumerable. Let R be a subring of Q with or without 1. By H_{10}(R), we denote the problem of whether there exists an algorithm which for any given Diophantine equation with integer coefficients, can decide whether (...) or not the equation has a solution in R. We prove that a positive solution to H_{10}(R) implies that the set of all Diophantine equations with a finite number of solutions in R is recursively enumerable. We show the converse implication for every infinite set R \subseteq Q such that there exist computable functions \tau_1,\tau_2:N \to Z which satisfy (\forall n \in N \tau_2(n) \neq 0) \wedge ({\frac{\tau_1(n)}{\tau_2(n)}: n \in N}=R). This implication for R=N guarantees that Smoryński's theorem follows from Matiyasevich's theorem. Harvey Friedman conjectures that the set of all polynomials of several variables with integer coefficients that have a rational solution is not recursive. Harvey Friedman conjectures that the set of all polynomials of several variables with integer coefficients that have only finitely many rational solutions is not recursively enumerable. These conjectures are equivalent by our results for R=Q. (shrink)

In this paper, I defend Rudolf Carnap's Principle of Tolerance from an accusation, due to Michael Friedman, that it is self-defeating by prejudicing any debate towards the logically stronger theory. In particular, Friedman attempts to show that Carnap's reconstruction of the debate between classicists and intuitionists over the foundations of mathematics in his book The Logical Syntax of Language, is biased towards the classical standpoint since the metalanguage he constructs to adjudicate between the rival positions is fully classical. (...) I argue that this criticism is mistaken on two counts: (1) it fails to fully appreciate the freedom with regard to the construction of linguistic frameworks that Carnap intended his Principle to embody, and (2) Friedman's objection underestimates the extent to which the evaluation of a framework is task-relative. I conclude that Tolerance is not self-undermining in the way that Friedman claims it is. While this is a restricted conclusion -- and is not a vindication of Carnap's views on logic and mathematics tout court -- it nonetheless suggests that his tolerant perspective has been dismissed too quickly, even by his supporters. (shrink)

Scientific disagreements are an important catalyst for scientific progress. But what happens when scientists disagree amidst times of crisis, when we need quick yet reliable policy guidance? In this paper we provide a normative account for how scientists facing disagreement in the context of ‘fast science’ should respond, and how policy makers should evaluate such disagreement. Starting from an argumentative, pragma-dialectic account of scientific controversies, we argue for the importance of ‘higher-order evidence’ (HOE) and we specify desiderata for scientifically relevant (...) HOE. We use our account to analyze the controversy about the aerosol transmission of COVID-19. (shrink)

We report a series of experiments examining whether people ascribe knowledge for true beliefs based on probabilistic evidence. Participants were less likely to ascribe knowledge for beliefs based on probabilistic evidence than for beliefs based on perceptual evidence or testimony providing causal information. Denial of knowledge for beliefs based on probabilistic evidence did not arise because participants viewed such beliefs as unjustified, nor because such beliefs leave open the possibility of error. These findings rule out traditional philosophical accounts for why (...) probabilistic evidence does not produce knowledge. The experiments instead suggest that people deny knowledge because they distrust drawing conclusions about an individual based on reasoning about the population to which it belongs, a tendency previously identified by “judgment and decision making” researchers. Consistent with this, participants were more willing to ascribe knowledge for beliefs based on probabilistic evidence that is specific to a particular case. 2016 APA, all rights reserved). (shrink)

This paper defends the Intention Account of Inquiry. On this account, inquiry is best understood by appeal to a ‘question-directed intention’ (QDI), an intention to answer a question broadly construed. This account’s core commitments help meet recent challenges plaguing extant approaches to characterizing inquiry. First, QDIs are the type of mental state central to inquiry, not attitudes like curiosity or wonder. Second, holding a QDI towards a question and acting in service of it constitutes the start of inquiry. Third, controversial (...) norms which mandate a rational inquirer's ignorance towards the answer to her question can be reformulated and defended by appeal to rational constraints on intention. Fourth, instrumental pressures inquirers face are the standard pressures of plan-rationality. In defending these theses, I show that the Intention Account provides compelling explanations to standing challenges, in ways competitors cannot. It does so by advancing understanding of how our epistemic and practical agency are intertwined. (shrink)

Discussion of new axioms for set theory has often focused on conceptions of maximality, and how these might relate to the iterative conception of set. This paper provides critical appraisal of how certain maximality axioms behave on different conceptions of ontology concerning the iterative conception. In particular, we argue that forms of multiversism (the view that any universe of a certain kind can be extended) and actualism (the view that there are universes that cannot be extended in particular ways) face (...) complementary problems. The latter view is unable to use maximality axioms that make use of extensions, where the former has to contend with the existence of extensions violating maximality axioms. An analysis of two kinds of multiversism, a Zermelian form and Skolemite form, leads to the conclusion that the kind of maximality captured by an axiom differs substantially according to background ontology. (shrink)

This paper considers ethical concerns with regard to replacing human relations with humanoid robots. Many have written about the impact that certain types of relations with robots may have on us, and why we should be concerned about robots replacing human relations. There has, however, been no consideration of this issue from an African philosophical perspective. Ubuntu philosophy provides a novel perspective on how relations with robots may impact our own moral character and moral development. This paper first discusses what (...) humanoid robots are, why and how humans tend to anthropomorphise them, and what the literature says about robots crowding out human relations. It then explains the ideal of becoming “fully human”, which pertains to being particularly moral in character. In ubuntu philosophy, we are not only biologically human, but must strive to become better, more moral versions of ourselves, to become fully human. We can become fully human by having other regarding traits or characteristics within the context of interdependent, or humane, relationships (such as by exhibiting human equality, reciprocity, or solidarity). This concept of becoming fully human is important in ubuntu philosophy. Having explained that idea, the main argument of the paper is then put forward: that treating humanoid robots as if they are human is morally concerning if they crowd out human relations, because such relations prevent us from becoming fully human. This is because we cannot experience human equality, solidarity, and reciprocity with robots, which can be seen to characterise interdependent, or humane, relations with human beings. (shrink)

The appearance of consciousness in the universe remains one of the major mysteries unsolved by science or philosophy. Absent an agreed-upon definition of consciousness or even a convenient system to test theories of consciousness, a confusing heterogeneity of theories proliferate. In pursuit of clarifying this complicated discourse, we here interpret various frameworks for the scientific and philosophical study of consciousness through the lens of social insect evolutionary biology. To do so, we first discuss the notion of a forward test versus (...) a reverse test, analogous to the normal and revolutionary phases of the scientific process. Contemporary theories of consciousness are forward tests for consciousness, in that they strive to become a means to classify the level of consciousness of arbitrary states and systems. Yet no such theory of consciousness has earned sufficient confidence such that it might be actually used as a forward test in ambiguous settings. What is needed now is thus a legitimate reverse test for theories of consciousness, to provide internal and external calibration of different frameworks. A reverse test for consciousness would ideally look like a method for referencing theories of consciousness to a tractable model system. We introduce the Ant Colony Test as a rigorous reverse test for consciousness. We show that social insect colonies, though disaggregated collectives, fulfill many of the prerequisites for conscious awareness met by humans and honey bee workers. A long lineage of philosophically-neutral neurobehavioral, evolutionary, and ecological studies on social insect colonies can thus be redeployed for the study of consciousness in general. We suggest that the ACT can provide insight into the nature of consciousness, and highlight the ant colony as a model system for ethically performing clarifying experiments about consciousness. (shrink)

The target article proposes that people perceive social robots as depictions rather than as genuine social agents. We suggest that people might instead view social robots as social agents, albeit agents with more restricted capacities and moral rights than humans. We discuss why social robots, unlike other kinds of depictions, present a special challenge for testing the depiction hypothesis.

In this panel, we explore the future of value sensitive design (VSD). The stakes are high. Many in public and private sectors and in civil society are gradually realizing that taking our values seriously implies that we have to ensure that values effectively inform the design of technology which, in turn, shapes people’s lives. Value sensitive design offers a highly developed set of theory, tools, and methods to systematically do so.

Boyer proposes that ownership intuitions depend on tracking cues predictive of agents’ motivations to compete for resources. However, the account may mis-predict people's intuitions about ownership, and it may also be too cognitively costly to be feasible. Even so, alternative accounts could benefit by taking inspiration from how the account handles thorny issues in the psychology of ownership.

A discussion of L.A. Paul's 'Transformative Experience' from an Author Meets Critics session at the 2015 Pacific APA.

Set-theoretic and category-theoretic foundations represent different perspectives on mathematical subject matter. In particular, category-theoretic language focusses on properties that can be determined up to isomorphism within a category, whereas set theory admits of properties determined by the internal structure of the membership relation. Various objections have been raised against this aspect of set theory in the category-theoretic literature. In this article, we advocate a methodological pluralism concerning the two foundational languages, and provide a theory that fruitfully interrelates a ‘structural’ perspective (...) to a set-theoretic one. We present a set-theoretic system that is able to talk about structures more naturally, and argue that it provides an important perspective on plausibly structural properties such as cardinality. We conclude the language of set theory can provide useful information about the notion of mathematical structure. (shrink)

Better understanding the psychological factors related to certainty in one’s beliefs (i.e., dogmatism) has important consequences for both individuals and social groups. Generally, beliefs can find support from at least two different routes of information processing: social/moral considerations or analytic/empirical reasoning. Here, we investigate how these two psychological constructs relate to dogmatism in two groups of individuals who preferentially draw on the former or latter sort of information when forming beliefs about the world- religious and non religious individuals. Across two (...) studies and their pooled analysis, we provide evidence that although dogmatism is negatively related to analytic reasoning in both groups of individuals, it shares a divergent relationship with measures of moral concern depending on whether one identifies as religious or not. Study 1 showed that increasing levels of dogmatism were positively related to prosocial intentions among the religious and negatively related to empathic concern among the nonreligious. Study 2 replicated and extended these results by showing that perspective taking is negatively related to dogmatism in both groups, an effect which is particularly robust among the nonreligious. Study 2 also showed that religious fundamentalism was positively related to measures of moral concern among the religious. Because the current studies used a content neutral measure to assess dogmatic certainty in one’s beliefs, they have the potential to inform practices for most effectively communicating with and persuading religious and nonreligious individuals to change maladaptive behavior, even when the mode of discourse is unrelated to religious belief. (shrink)

Both Philip and Andrew are philosophy students whose interests converge around the philosophy of technology broadly understood. Philip's interest is specifically aimed toward the ethics of Transhumanism and depictions of Transhumanism in works of fiction. On the other hand, Andrew finds himself more focused on religious behavior in the technological world. While the two perspectives might not seem that close, there is certain to be an overlap in Andrew and Philip's shared understanding of how technological phenomena play a crucial role (...) concerning religion and society. (shrink)

Three-dimensional material models of molecules were used throughout the 19th century, either functioning as a mere representation or opening new epistemic horizons. In this paper, two case studies are examined: the 1875 models of van ‘t Hoff and the 1890 models of Sachse. What is unique in these two case studies is that both models were not only folded, but were also conceptualized mathematically. When viewed in light of the chemical research of that period not only were both of these (...) aspects, considered in their singularity, exceptional, but also taken together may be thought of as a subversion of the way molecules were chemically investigated in the 19th century. Concentrating on this unique shared characteristic in the models of van ‘t Hoff and the models of Sachse, this paper deals with the shifts and displacements between their operational methods and existence: between their technical and epistemological aspects and the fact that they were folded, which was forgotten or simply ignored in the subsequent development of chemistry. (shrink)

There has been considerable debate in the literature as to whether work in experimental philosophy actually makes any significant contribution to philosophy. One stated view is that many X-Phi projects, notwithstanding their focus on topics relevant to philosophy, contribute little to philosophical thought. Instead, it has been claimed the contribution they make appears to be to cognitive science. In contrast to this view, here we argue that at least one approach to X-Phi makes a contribution which parallels, and also extends, (...) historically salient forms of philosophical analysis, especially contributions from Immanuel Kant, William James, Peter F. Strawson and Thomas Nagel. The framework elaborated here synthesizes philosophical theory with empirical evidence from psychology and neuroscience and applies it to three perennial philosophical problems. According to this account, the origin of these three problems can be illuminated by viewing them as arising from a tension between two distinct types of cognition, each of which is associated with anatomically independent and functionally inhibitory neural networks. If the parallel we draw, between an empirical project and historically highly influential examples of philosophical analysis, is viewed as convincing, it follows that work in the cognitive sciences can contribute directly to philosophy. Further, this conclusion holds whether the empirical details of the account are correct or not. (shrink)

Feminist ethics supports the contemporary educational trend toward increased multiculturalism and a diminished emphasis on the Western canon. First, I outline a feminist ethical justification for this development. Second, I argue that Western canon studies should not be altogether abandoned in a multicultural curriculum. Third, I suggest that multicultural education should help combat oppression in addition to simply promoting awareness of diversity. Fourth, I caution against an arrogant moralism in the teaching of multiculturalism.

Critics of Dewey’s metaphysics point to his dismissal of any philosophy which locates ideals in a realm beyond experience. However, Dewey’s sustained critique of dualistic philosophies is but a first step in his reconstruction and recovery of the function of the metaphysical. Detaching the discussion of values from inquiry, whether scientific, philosophical or educational, produces the same end as relegating values to a transcendent realm that is beyond ordinary human discourse. Dewey’s naturalistic metaphysics supports his progressive educational philosophy. The duty (...) of education is grounded in its service to democracy; it must help students develop the ability to express, discuss, and develop their moral reasoning through experiential and experimental learning. (shrink)

How do people decide which claims should be considered mere beliefs and which count as knowledge? Although little is known about how people attribute knowledge to others, philosophical debate about the nature of knowledge may provide a starting point. Traditionally, a belief that is both true and justified was thought to constitute knowledge. However, philosophers now agree that this account is inadequate, due largely to a class of counterexamples (termed ‘‘Gettier cases’’) in which a person’s justified belief is true, but (...) only due to luck. We report four experiments examining the effect of truth, justification, and ‘‘Gettiering’’ on people’s knowledge attributions. These experiments show that: (1) people attribute knowledge to others only when their beliefs are both true and justified; (2) in contrast to contemporary philosophers, people also attribute knowledge to others in Gettier situations; and (3) knowledge is not attributed in one class of Gettier cases, but only because the agent’s belief is based on ‘‘apparent’’ evidence. These findings suggest that the lay concept of knowledge is roughly consistent with the traditional account of knowledge as justified true belief, and also point to a major difference between the epistemic intuitions of laypeople and those of philosophers. (shrink)

How do young children represent pretend play? One possibility is that recognizing and representing pretend play depends on children’s ability to infer the mental states of the person engaged in pretend play (mentalist account). The two dominant alternative possibilities are that children view as a distinctive form of non-representational behavior (behavioral account), and that children represent pretense by temporarily treating objects as though they have fictional or make-believe properties (flagging account). This chapter provides an overview of the debate between these (...) three accounts of pretend play, but then endorses a fourth position according to which children view pretend play as a form of communication, similar in many ways to drawing. (shrink)

Genealogies in philosophy can be tricky and even a little dangerous. Lines of influence and inheritance run much more linearly on paper than in reality. I am often reminded of Robert Frost's "Mending Walls" and the attention that must be paid to what is being walled in and what is being walled out. In other words, William James and Emmanuel Levinas are not natural conversation partners. I have always read James as a fellow traveler of Edmund Husserl, and placed both (...) in a line of thought that might share Franz Brentano and Wilhelm Dilthey as forebears. In this genealogy, Levinas appears with an asterisk, or after one. Maurice Natanson described Husserlian phenomenology as an elderly grandparent who comes down to dinner just a little bit too early, making everyone uncomfortable. Seating Levinas next to James brings to mind some similar scene. What basic premises or positions do James and Levinas share? Is Levinas a Jamesian pragmatist? Is he a radical empiricist? Does James offer an ethics that parallels or even complements Levinas's rigorous ethical phenomenology? (shrink)

A central area of current philosophical debate in the foundations of mathematics concerns whether or not there is a single, maximal, universe of set theory. Universists maintain that there is such a universe, while Multiversists argue that there are many universes, no one of which is ontologically privileged. Often model-theoretic constructions that add sets to models are cited as evidence in favour of the latter. This paper informs this debate by developing a way for a Universist to interpret talk that (...) seems to necessitate the addition of sets to V. We argue that, despite the prima facie incoherence of such talk for the Universist, she nonetheless has reason to try and provide interpretation of this discourse. We present a method of interpreting extension-talk (V-logic), and show how it captures satisfaction in `ideal' outer models and relates to impredicative class theories. We provide some reasons to regard the technique as philosophically virtuous, and argue that it opens new doors to philosophical and mathematical discussions for the Universist. (shrink)

Five experiments demonstrate the central role of knowledge attributions in social evaluations. In Experiments 1–3, we manipulated whether an agent believes, is certain of, or knows a true proposition and asked people to rate whether the agent should perform a variety of actions. We found that knowledge, more so than belief or certainty, leads people to judge that the agent should act. In Experiments 4–5, we investigated whether attributions of knowledge or certainty can explain an important finding on how people (...) act based on statistical evidence, known as “the Wells effect”. We found that knowledge attributions, but not certainty attributions, mediate this effect on decision making. 2018 APA, all rights reserved). (shrink)

We conducted five experiments that reveal some main contours of the folk epistemology of lotteries. The folk tend to think that you don't know that your lottery ticket lost, based on the long odds ("statistical cases"); by contrast, the folk tend to think that you do know that your lottery ticket lost, based on a news report ("testimonial cases"). We evaluate three previous explanations for why people deny knowledge in statistical cases: the justification account, the chance account, and the statistical (...) account. None of them seems to work. We then propose a new explanation of our own, the formulaic account, according to which some people deny knowledge in statistical cases due to formulaic expression. (shrink)

It is standard in set theory to assume that Cantor's Theorem establishes that the continuum is an uncountable set. A challenge for this position comes from the observation that through forcing one can collapse any cardinal to the countable and that the continuum can be made arbitrarily large. In this paper, we present a different take on the relationship between Cantor's Theorem and extensions of universes, arguing that they can be seen as showing that every set is countable and that (...) the continuum is a proper class. We examine several principles based on maximality considerations in this framework, and show how some (namely Ordinal Inner Model Hypotheses) enable us to incorporate standard set theories (including ZFC with large cardinals added). We conclude that the systems considered raise questions concerning the foundational purposes of set theory. (shrink)

Designer babies are often presented in the popular media as a kind of apocalyptical spectre of things to come in a brave new world where reproduction is the province of white coated scientists and potential parents in pursuit of trophy children. In this realm physical, intellectual, and social perfection is sought through the manipulation of genes and selection of favoured traits and attributes to the detriment of individuals who cannot compete and of society more generally through the loss of natural (...) selection. It is therefore a pleasure to discover a short readable book that sets out the discussion and its many nuances in concise and accurate terms that will be accessible to all and should help to dispel some of these science fiction myths through scholarly debate.This volume is part of a collection of books under the title Debating Matters that sprang out of a series of public debates organised by the Institute of Ideas. The conferences were intended to reinvigorate debate and the contestation of ideas and contemporary issues the Institute regards as “too frequently sidelined”. The arguments are presented by an authoritative who’s who of commentators who offer their own insightful readings of various aspects of the debate. Each essayist confirms the fact that the term “ designer babies ” is an inaccurate reflection of the current ability of science to actively fashion children with selected characteristics, and as a result …. (shrink)

Legal systems often rule that people own objects in their territory. We propose that an early-developing ability to make territory-based inferences of ownership helps children address informational demands presented by ownership. Across 6 experiments (N = 504), we show that these inferences develop between ages 3 and 5 and stem from two aspects of the psychology of ownership. First, we find that a basic ability to infer that people own objects in their territory is already present at age 3 (Experiment (...) 1). Children even make these inferences when the territory owner unintentionally acquired the objects and was unaware of them (Experiments 2 and 3). Second, we find that between ages 3 and 5, children come to consider past events in these judgments. They move from solely considering the current location of an object in territory-based inferences, to also considering and possibly inferring where it originated (Experiments 4 to 6). Together, these findings suggest that territory-based inferences of ownership are unlikely to be constructions of the law. Instead, they may reflect basic intuitions about ownership that operate from early in development. (shrink)

The pandemic has clearly affected higher education institutions through the transition of its learning modality to online. Furthermore, this study investigates the relationship between social support and burnout among college students amidst the COVID-19 pandemic. Utilizing descriptive-correlational design, the result of the statistical analysis indicated that social support and academic burnout has a significant relationship (r=0.158). Implications of the study were discussed and recommendations for future research were suggested.

Purpose – The purpose of the research reported here is to improve comprehension of the socially-negotiated identity of concepts in the domain of knowledge organization. Because knowledge organization as a domain has as its focus the order of concepts, both from a theoretical perspective and from an applied perspective, it is important to understand how the domain itself understands the meaning of a concept. Design/methodology/approach – The paper provides an empirical demonstration of how the domain itself understands the meaning of (...) a concept. The paper employs content analysis to demonstrate the ways in which concepts are portrayed in KO concept maps as signs, and they are subjected to evaluative semiotic analysis as a way to understand their meaning. The frame was the entire population of formal proceedings in knowledge organization – all proceedings of the International Society for Knowledge Organization’s international conferences (1990-2010) and those of the annual classification workshops of the Special Interest Group for Classification Research of the American Society for Information Science and Technology (SIG/CR). Findings – A total of 344 concept maps were analyzed. There was no discernible chronological pattern. Most concept maps were created by authors who were professors from the USA, Germany, France, or Canada. Roughly half were judged to contain semiotic content. Peirceian semiotics predominated, and tended to convey greater granularity and complexity in conceptual terminology. Nodes could be identified as anchors of conceptual clusters in the domain; the arcs were identifiable as verbal relationship indicators. Saussurian concept maps were more applied than theoretical; Peirceian concept maps had more theoretical content. Originality/value – The paper demonstrates important empirical evidence about the coherence of the domain of knowledge organization. Core values are conveyed across time through the concept maps in this population of conference papers. (shrink)

Advancements in artificial intelligence and (social) robotics raise pertinent questions as to how these technologies may help shape the society of the future. The main aim of the chapter is to consider the social and conceptual disruptions that might be associated with social robots, and humanoid social robots in particular. This chapter starts by comparing the concepts of robots and artificial intelligence and briefly explores the origins of these expressions. It then explains the definition of a social robot, as well (...) as the definition of humanoid robots. A key notion in this context is the idea of anthropomorphism: the human tendency to attribute human qualities, not only to our fellow human beings, but also to parts of nature and to technologies. This tendency to anthropomorphize technologies by responding to and interacting with them as if they have human qualities is one of the reasons why social robots (in particular social robots designed to look and behave like human beings) can be socially disruptive. As is explained in the chapter, while some ethics researchers believe that anthropomorphization is a mistake that can lead to various forms of deception, others — including both ethics researchers and social roboticists — believe it can be useful or fitting to treat robots in anthropomorphizing ways. The chapter explores that disagreement by, among other things, considering recent philosophical debates about whether social robots can be moral patients, that is, whether it can make sense to treat them with moral consideration. Where one stands on this issue will depend either on one’s views about whether social robots can have, imitate, or represent morally relevant properties, or on how people relate to social robots in their interactions with them. Lastly, the chapter urges that the ethics of social robots should explore intercultural perspectives, and highlights some recent research on Ubuntu ethics and social robots. (shrink)

ABSTRACT Offsetting is a very ineffective way to do good. Offsetting your lifetime emissions may increase aggregated life expectancy by at most seven years, while giving the amount it costs to offset your lifetime emissions to a malaria charity saves in expectation the life of at least one child. Is there any moral reason to offset rather than giving to some charity that does good so much more effectively? There might be such a reason if your offsetting compensated or somehow (...) benefitted the victims of your emission, since that could mean that you would satisfy the duty not to harm others by emitting and offsetting. But that is typically not true. If your emission harms some person and your offsetting benefits some person, then these are most likely different people. Hence, I conclude, we have a stronger reason to give to effective charities than we have to offset our emissions. (shrink)

Throughout Peirce’s writing, we witness his developing vision of a machine that scientists will eventually be able to create. Nadin (2010) raised the question:Why do computer scientists continue to ignore Peirce’s sign theory? A review of the literature on Peirce’s theory and the semiotics machine reveals that many authors discussed the machine;however, they donot differentiate between a physical computer machine and its software. This paper discusses the problematic issues involved in converting Peirce’s theory into a programming language, machine and software (...) application. We demonstrate this challenge by introducing Peirce’s sign theory as a software application that runs under an open-source R environment. (shrink)

Signing Ceremony of MOU on Professional Legal Diploma, Government of Dubai 2020.

The veil of ignorance argument was used by John C. Harsanyi to defend Utilitarianism and by John Rawls to defend the absolute priority of the worst off. In a recent paper, Lara Buchak revives the veil of ignorance argument, and uses it to defend an intermediate position between Harsanyi's and Rawls' that she calls Relative Prioritarianism. None of these authors explore the implications of allowing that agent's behind the veil are averse to ambiguity. Allowing for aversion to ambiguity---which is both (...) the most commonly observed and a seemingly reasonable attitude to ambiguity---however supports a version of Egalitarianism, whose logical form is quite different from the theories defended by the aforementioned authors. Moreover, it turns out that the veil of ignorance argument neither supports standard Utilitarianism nor Prioritarianism unless we assume that rational people are insensitive to ambiguity. (shrink)

I defend a weak version of the Pigou-Dalton principle for chances. The principle says that it is better to increase the survival chance of a person who is more likely to die rather than a person who is less likely to die, assuming that the two people do not differ in any other morally relevant respect. The principle justifies plausible moral judgements that standard ex post views, such as prioritarianism and rank-dependent egalitarianism, cannot accommodate. However, the principle can be justified (...) by the same reasoning that has recently been used to defend the core axiom of ex post prioritarianism and egalitarianism, namely, Pigou-Dalton for well-being. The arguably biggest challenge for proponents of Pigou-Dalton for chances is that it violates State Dominance for social prospects. However, I argue that we have independent reason for rejecting State Dominance for social prospects, since it prevents a social planner from properly respecting people's preferences. (shrink)

Young children show competence in reasoning about how ownership affects object use. In the present experiments, we investigate how influential ownership is for young children by examining their explanations. In three experiments, we asked 3- to 5-year-olds to explain why it was acceptable or unacceptable for a person to use an object. In Experiments 1 and 2, older preschoolers referenced ownership more than alternative considerations when explaining why it was acceptable or unacceptable for a person to use an object, even (...) though ownership was not mentioned to them. In Experiment 3, ownership was mentioned to children. Here, younger preschoolers frequently referenced ownership when explaining unacceptability of using an object, but not when explaining why using it was acceptable. These findings suggest that ownership is influential in preschoolers' explanations about the acceptability of using objects, but that the scope of its influence increases with age. (shrink)

This classic collection of essays, first published in 1968, represents H.L.A. Hart's landmark contribution to the philosophy of criminal responsibility and punishment. Unavailable for ten years, this new edition reproduces the original text, adding a new critical introduction by John Gardner, a leading contemporary criminal law theorist.

Set-theoretic and category-theoretic foundations represent different perspectives on mathematical subject matter. In particular, category-theoretic language focusses on properties that can be determined up to isomorphism within a category, whereas set theory admits of properties determined by the internal structure of the membership relation. Various objections have been raised against this aspect of set theory in the category-theoretic literature. In this article, we advocate a methodological pluralism concerning the two foundational languages, and provide a theory that fruitfully interrelates a `structural' perspective (...) to a set-theoretic one. We present a set-theoretic system that is able to talk about structures more naturally, and argue that it provides an important perspective on plausibly structural properties such as cardinality. We conclude the language of set theory can provide useful information about the notion of mathematical structure. (shrink)

Many philosophers think that we should use a lottery to decide who gets a good to which two persons have an equal claim but which only one person can get. Some philosophers think that we should save identified persons from harm even at the expense of saving a somewhat greater number of statistical persons from the same harm. I defend a principled way of justifying both judgements, namely, by appealing to the decreasing marginal moral value of survival chances. I identify (...) four desiderata that, I contend, any such justification should satisfy, and explain how my account meets these desiderata, unlike some previous accounts. (shrink)

In this field questions arise which are certainly difficult; but as I listened last time to members of the group, I felt that the main difficulty perhaps lay in determining precisely what questions we are trying to answer. I have the conviction that if we could only say clearly what the questions are, the answers to them might not appear so elusive. So I have begun with a simple list of questions about discretion which in one form or another were, (...) as it seemed to me, expressed by the group last time. I may indeed have omitted something and inserted something useless: if so, no doubt I shall be informed of this later. The central questions then seem to me to be the following: 1. What is discretion, or what is the exercise of discretion? 2. Under what conditions and why do we in fact accept or tolerate discretion in a legal system? 3. Must we accept discretion or tolerate discretion, and if so, why? 4. What values does the use of discretion menace, and what values does it maintain or promote? 5. What can be done to maximize the beneficial operation of the use of discretion and to minimize any harm that it does? (shrink)

With the coronavirus pandemic and the Omicron variant once again forcing countries into lockdown, this essay seeks to outline a Foucauldian critique of various legal measures taken by the Danish government to cope with COVID-19 during the first year and a half of the pandemic. The essay takes a critical look at the extra-legal measures employed by the Danish government, as the Danish politicians attempted to halt the spread of the, now almost forgotten, Cluster 5 COVID-19 variant. This situation will (...) serve as a critical point from where to start using Foucault’s writings on life and biopolitics in order to expose various legally problematic governmental decisions that became visible during the handling of COVID-19 in general and the Cluster 5 mutation in particular. Reframing the pandemic within Foucault’s concept of biopolitics, this essay concludes that the state of exception has led to an increase in biopolitical logic, where some lives have come to matter more than others. As a critical counterpoint to this logic, the conclusion suggests that the notion of biocommunism could provide a suitable reconfiguration of communism. A reconfiguration that could mitigate some of the issues related to biopolitics is uncovered earlier in the essay. (shrink)

Bartha and DesRoches (Synthese 199(3–4):8701–8740, 2021) and Steel and Bartha (Risk Analysis 43(2):260–268, 2023) argue that we should understand the precautionary principle as the injunction to maximise lexical utilities. They show that the lexical utility model has important pragmatic advantages. Moreover, the model has the theoretical advantage of satisfying all axioms of expected utility theory except continuity. In this paper I raise a trilemma for any attempt at modelling the precautionary principle with lexical utilities: it permits choice cycles or leads (...) to paralysis or implies that the smallest value difference that is possible in a context has extreme axiological implications. (shrink)

Catastrophic risk raises questions that are not only of practical importance, but also of great philosophical interest, such as how to define catastrophe and what distinguishes catastrophic outcomes from non-catastrophic ones. Catastrophic risk also raises questions about how to rationally respond to such risks. How to rationally respond arguably partly depends on the severity of the uncertainty, for instance, whether quantitative probabilistic information is available, or whether only comparative likelihood information is available, or neither type of information. Finally, catastrophic risk (...) raises important ethical questions about what to do when catastrophe avoidance conflicts with equity promotion. (shrink)

This volume offers a collection of in-depth explorations of pragmatism as a framework for discussions in philosophy of science and metaphysics. Each chapter involves explicit reflection on what it means to be pragmatist, and how to use pragmatism as a guiding framework in addressing topics such as realism, unification, fundamentality, truth, laws, reduction, and more. -/- .

This paper advances a theory of disease as domino dysfunction. It is often argued that diseases are biological dysfunctions. However, a theory of disease as biological dysfunction is complicated by some plausible cases of dysfunction, which seem clearly non-pathological. I argue that pathological conditions are not just dysfunctions but domino dysfunctions, and that domino dysfunctions can be distinguished on principled biological grounds from non-pathological dysfunctions. I then show how this theory can make sense of the problem cases; they are not (...) diseases because they are not domino dysfunctions. (shrink)